翻訳と辞書
Words near each other
・ Lightwater Valley
・ Lightwave (band)
・ LightWave 3D
・ Lightweight
・ Lightweight (disambiguation)
・ Lightweight (film)
・ Lightweight (MMA)
・ Lightweight Access Point Protocol
・ Lightweight Directory Access Protocol
・ Lightweight Exo-Atmospheric Projectile
・ Lightweight Extensible Authentication Protocol
・ Lightweight Fighter program
・ Lightweight Heavy
・ Lightweight Helmet
・ Lightweight Imaging Device Interface Language
Lightweight Java
・ Lightweight Java Game Library
・ Lightweight Kernel Operating System
・ Lightweight Linux distribution
・ Lightweight markup language
・ Lightweight Medium Machine Gun
・ Lightweight methodology
・ Lightweight Multirole Missile
・ Lightweight ontology
・ Lightweight Portable Security
・ Lightweight Presentation Protocol
・ Lightweight programming language
・ Lightweight protocol
・ Lightweight rowing
・ Lightweight Rucksack


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Lightweight Java : ウィキペディア英語版
Lightweight Java
Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java.〔http://portal.acm.org/citation.cfm?doid=1297027.1297064〕〔http://rok.strnisa.com/lj/〕 The language was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ was proven type-sound in Isabelle/HOL.〔http://afp.sourceforge.net/entries/LightweightJava.shtml〕
== See also ==

* Lightweight programming language

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Lightweight Java」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.